Free variables and bound variables - PDFSEARCH.IO - Document Search Engine

Free variables and bound variables
Results: 147

#	Item
121	Revised4 Report on the Algorithmic Language Scheme H. ABELSON N. I. ADAMS IV D. H. BARTLEY G. BROOKS Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2007-08-30 20:21:55 Lisp programming language Functional languages Procedural programming languages Cross-platform software Theoretical computer science Lisp Scheme Free variables and bound variables Scope Software engineering Computing Computer programming
122	Prolog: A Logic Programming Language with Names, Binding and -Equivalence James Cheney1 , Christian Urban2 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-10-28 08:33:44 Software engineering Predicate logic Automated theorem proving Unification Higher-order abstract syntax Prolog Free variables and bound variables First-order logic Function Mathematics Mathematical logic Logic programming
123	αProlog User’s Guide & Language Reference Version 0.3 DRAFT Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-10-28 08:33:38 Lambda calculus Type theory Logic programming Formal methods Unification Higher-order abstract syntax Function Hindley–Milner Free variables and bound variables Mathematics Software engineering Theoretical computer science
124	Coreferential Interpretations of Reflexives in Picture Noun Phrases: An Experimental Approach Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 12:58:28 Personal pronouns Mathematical notation Generative linguistics Semantics Reflexive pronoun Logophoricity Ellipsis Free variables and bound variables Government and binding theory Linguistics Syntax Philosophy of language
125	GDP Festschrift ENTCS, to appear Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 09:46:45 Theoretical computer science Free variables and bound variables Computing Applied mathematics Sturm–Liouville theory Spectral theory of ordinary differential equations Mathematics Computability theory Lambda calculus
126	An Introduction to Decidability of Higher-Order Matching Colin Stirling [removed] LFCS School of Informatics Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-07-16 11:18:48 Mathematical logic Type theory Logic in computer science Theory of computation Simply typed lambda calculus Free variables and bound variables Combinatory logic Type system Normalisation by evaluation Theoretical computer science Mathematics Lambda calculus
127	Discourse Representation in Context Jan van Eijck and Hans Kamp January 7, 2010 Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 08:04:45 Philosophy of language Discourse representation theory Donkey sentence Anaphora Free variables and bound variables Binding Antecedent First-order logic Interpretation Linguistics Semantics Syntax
128	Logical Methods in Computer Science Vol. 5 (3:[removed], pp. 1–52 www.lmcs-online.org Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-12-22 08:41:55 Mathematical logic Computability theory Simply typed lambda calculus Combinatory logic Unification Free variables and bound variables Variable Mathematics Theoretical computer science Lambda calculus
129	Revised5 Report on the Algorithmic Language Scheme RICHARD Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2001-05-16 23:38:54 Functional languages Procedural programming languages Cross-platform software Lisp programming language Type theory Scheme Lisp Scope Free variables and bound variables Software engineering Computing Computer programming
130	Higher-Order Abstract Syntax∗ Frank Pfenning† Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2001-01-03 16:03:41 Type theory Lambda calculus Predicate logic Logic programming Higher-order abstract syntax Unification Free variables and bound variables Simply typed lambda calculus Hindley–Milner Mathematics Theoretical computer science Mathematical logic

UPDATE